Internet Archive BookReader - Studies in deductive logic